William Alvin Howard (* 1926) ist ein US-amerikanischer mathematischer Logiker. Howard promovierte 1956 an der University of Chicago bei Saunders MacLane und André Weil (k-fold recursion and well-ordering). Er war in den 1960er Jahren Professor an der Pennsylvania State University und danach an der University of Chicago. Howard zeigte mit Haskell...